Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
11	Certificates of Non-Membership for Classes of Read-Once Functions Dmitry Chistikov1? , Valentina Fedorova2 , and Andrey Voronenko2 1 Max Planck Institute for Software Systems (MPI-SWS), Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2014-05-28 08:28:09 Function Boolean algebra Artificial neuron Numerical software GEC Propositional directed acyclic graph Mathematics Functions and mappings Mathematical logic
12	Predicate Logic Review John MacFarlane January 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:39:11 Predicate logic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Function Constructible universe Logical connective Logic Formal languages Model theory
13	Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:14 Propositional calculus Model theory Predicate logic Formal languages First-order logic Function Interpretation Entailment Partition Logic Mathematics Mathematical logic
14	Polarity Particles in Hungarian Abstract1 Donka F. Farkas UC Santa Cruz Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Science Discourse analysis Pragmatics Propositional calculus Statements Proposition Function Interpretation Speech act Linguistics Philosophy of language Logic
15	ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-10-22 02:40:08 Boolean algebra Propositional calculus Functional analysis Algebraic logic Truth table Logic gate Convolution Image Function Mathematics Abstract algebra Mathematical logic
16	Partial Evaluation for Hierarchies of Logic Theories M. Bugliesi ENIDATA S.p.A Viale Aldo Moro 38, 40121 Bologna Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:27:11 Logic programming Propositional calculus Function Substitution Mathematics Mathematical logic Logic
17	Revising Beliefs on the Basis of Evidence James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:44:27 Formal languages Model theory Propositional calculus Belief revision Interpretation Entailment Modal logic Function Linear temporal logic Logic Mathematics Philosophical logic
18	CS109A Notes for LectureMajor Theme: Data Models Data model = A way of representing (some kinds of) information in a computer. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:10 Propositional calculus Predicate logic Logical syntax Quantification Propositional variable First-order logic Function Well-formed formula Universal quantification Logic Mathematical logic Mathematics
19	RUNNING HEAD: NON-ASSOCIATIVE MODELS Add to Reading List Source URL: users.ugent.be Language: English - Date: 2012-09-22 02:44:29 Propositional calculus Logical syntax Statements Mental content Mathematical logic Proposition Function Learning Logic Mathematics Philosophy of mind
20	Recent Advances in AI Planning Daniel S. Weld Department of Computer Science & Engineering University of Washington, BoxSeattle, WA 98195{2350 USA Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-02-04 15:45:48 Mathematics Logical syntax Propositional calculus Statements Graphplan Planning Domain Definition Language STRIPS Function Propositional formula Automated planning and scheduling Artificial intelligence Logic

UPDATE